<html>
<body>
Replaces a series of if-else statements with type checks in conditions by pattern matching.
This operation can change execution order of conditions!
</body>
</html>